2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 34 54 0 212 0 136 0

N.S.

1 1.00 0.21 0.34 0.00 1.32 0.00 0.85 0.00

time (sec)

N/A 0.331 0.039 0.672 0.000 0.277 0.000 0.287 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 32 79 0 151 0 38 0

N.S.

1 0.96 0.64 1.58 0.00 3.02 0.00 0.76 0.00

time (sec)

N/A 0.177 0.035 0.664 0.000 0.266 0.000 0.297 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 70 34 97 0 161 0 0 0

N.S.

1 1.03 0.50 1.43 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.203 0.041 0.670 0.000 0.265 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 178 34 73 0 171 0 0 0

N.S.

1 1.01 0.19 0.41 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.344 0.039 0.671 0.000 0.266 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 277 34 73 0 249 0 0 0

N.S.

1 1.10 0.13 0.29 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.465 0.038 0.688 0.000 0.276 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

37 37 38 0 43 59 0 0 0

N.S.

1 1.00 1.03 0.00 1.16 1.59 0.00 0.00 0.00

time (sec)

N/A 0.175 0.039 0.000 0.199 0.259 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 43 0 0 59 0 0 0

N.S.

1 1.00 1.13 0.00 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.175 0.084 0.000 0.000 0.263 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 77 96 208 74 74 0 0 0

N.S.

1 0.69 0.86 1.86 0.66 0.66 0.00 0.00 0.00

time (sec)

N/A 0.218 0.042 0.113 0.186 0.261 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 77 70 135 48 48 0 0 0

N.S.

1 0.69 0.62 1.21 0.43 0.43 0.00 0.00 0.00

time (sec)

N/A 0.213 0.024 0.047 0.190 0.259 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 75 44 64 22 22 0 0 0

N.S.

1 0.76 0.44 0.65 0.22 0.22 0.00 0.00 0.00

time (sec)

N/A 0.211 0.013 0.041 0.185 0.267 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 78 47 71 32 24 0 0 0

N.S.

1 0.87 0.52 0.79 0.36 0.27 0.00 0.00 0.00

time (sec)

N/A 0.211 0.025 0.060 0.179 0.264 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 75 40 37 41 41 0 0 0

N.S.

1 1.56 0.83 0.77 0.85 0.85 0.00 0.00 0.00

time (sec)

N/A 0.207 0.019 0.039 0.182 0.257 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 77 40 37 69 69 0 0 0

N.S.

1 0.88 0.45 0.42 0.78 0.78 0.00 0.00 0.00

time (sec)

N/A 0.212 0.055 0.047 0.190 0.266 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 77 40 37 97 97 0 0 0

N.S.

1 0.88 0.45 0.42 1.10 1.10 0.00 0.00 0.00

time (sec)

N/A 0.205 0.059 0.050 0.180 0.254 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 77 55 99 47 57 0 173 0

N.S.

1 0.71 0.51 0.92 0.44 0.53 0.00 1.60 0.00

time (sec)

N/A 0.242 0.032 0.070 0.183 0.300 0.000 0.283 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 62 46 61 25 28 0 53 0

N.S.

1 0.67 0.49 0.66 0.27 0.30 0.00 0.57 0.00

time (sec)

N/A 0.215 0.021 0.034 0.179 0.266 0.000 0.290 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 62 46 61 25 28 0 53 0

N.S.

1 0.67 0.49 0.66 0.27 0.30 0.00 0.57 0.00

time (sec)

N/A 0.214 0.023 0.029 0.177 0.288 0.000 0.270 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 57 39 56 19 20 0 25 0

N.S.

1 0.65 0.44 0.64 0.22 0.23 0.00 0.28 0.00

time (sec)

N/A 0.200 0.010 0.028 0.177 0.261 0.000 0.279 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 54 38 54 13 15 0 0 0

N.S.

1 0.64 0.45 0.64 0.15 0.18 0.00 0.00 0.00

time (sec)

N/A 0.212 0.013 0.035 0.180 0.267 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 63 42 61 22 23 0 0 0

N.S.

1 0.67 0.45 0.65 0.23 0.24 0.00 0.00 0.00

time (sec)

N/A 0.218 0.025 0.033 0.182 0.284 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 65 47 61 22 23 0 0 0

N.S.

1 0.68 0.49 0.64 0.23 0.24 0.00 0.00 0.00

time (sec)

N/A 0.218 0.023 0.034 0.176 0.268 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

238 137 90 499 276 390 0 2719 0

N.S.

1 0.58 0.38 2.10 1.16 1.64 0.00 11.42 0.00

time (sec)

N/A 0.299 0.086 0.086 0.188 0.275 0.000 0.413 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 111 123 146 108 144 0 292 0

N.S.

1 0.52 0.58 0.69 0.51 0.68 0.00 1.38 0.00

time (sec)

N/A 0.264 0.063 0.030 0.178 0.289 0.000 0.310 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 110 124 145 109 145 0 292 0

N.S.

1 0.52 0.59 0.69 0.52 0.69 0.00 1.38 0.00

time (sec)

N/A 0.260 0.059 0.031 0.179 0.278 0.000 0.311 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 105 122 138 101 130 0 263 0

N.S.

1 0.51 0.59 0.67 0.49 0.63 0.00 1.28 0.00

time (sec)

N/A 0.248 0.058 0.029 0.176 0.275 0.000 0.297 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 89 67 127 43 44 0 0 0

N.S.

1 0.45 0.34 0.65 0.22 0.22 0.00 0.00 0.00

time (sec)

N/A 0.242 0.024 0.035 0.270 0.275 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 111 124 147 101 131 0 0 0

N.S.

1 0.52 0.58 0.69 0.48 0.62 0.00 0.00 0.00

time (sec)

N/A 0.271 0.073 0.043 0.217 0.272 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 117 124 145 101 134 0 0 0

N.S.

1 0.54 0.57 0.67 0.46 0.61 0.00 0.00 0.00

time (sec)

N/A 0.273 0.070 0.045 0.213 0.289 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 83 62 0 0 0 0 0 0

N.S.

1 1.09 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.027 0.000 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 71 53 0 0 0 0 0 0

N.S.

1 1.11 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.202 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 71 53 0 0 0 0 0 0

N.S.

1 1.11 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.198 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 62 44 0 0 0 0 0 0

N.S.

1 1.13 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 64 45 66 27 22 0 0 0

N.S.

1 0.75 0.53 0.78 0.32 0.26 0.00 0.00 0.00

time (sec)

N/A 0.199 0.021 0.036 0.185 0.263 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 72 51 0 0 0 0 0 0

N.S.

1 1.11 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 74 53 0 0 0 0 0 0

N.S.

1 1.10 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 85 61 0 0 0 0 0 0

N.S.

1 1.12 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.211 0.022 0.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 73 55 0 0 0 0 0 0

N.S.

1 1.14 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.198 0.042 0.000 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 73 55 0 0 0 0 0 0

N.S.

1 1.14 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.192 0.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 64 46 0 0 0 0 0 0

N.S.

1 1.12 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 95 79 104 70 106 0 0 0

N.S.

1 0.60 0.50 0.65 0.44 0.67 0.00 0.00 0.00

time (sec)

N/A 0.255 0.036 0.038 0.195 0.300 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 74 53 0 0 0 0 0 0

N.S.

1 1.14 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.202 0.017 0.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 76 55 0 0 0 0 0 0

N.S.

1 1.13 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 58 0 0 79 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 0.191 0.058 0.000 0.000 0.271 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 32 51 0 45 160 0 0

N.S.

1 1.00 0.74 1.19 0.00 1.05 3.72 0.00 0.00

time (sec)

N/A 0.182 0.111 0.960 0.000 0.275 4.979 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 129 80 0 0 103 0 0 0

N.S.

1 0.99 0.62 0.00 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.261 0.144 0.000 0.000 0.280 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 99 59 0 0 82 0 0 0

N.S.

1 0.97 0.58 0.00 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.238 0.112 0.000 0.000 0.263 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 127 75 0 0 165 0 0 0

N.S.

1 1.09 0.64 0.00 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.277 0.096 0.000 0.000 0.266 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

103 87 54 113 59 78 0 0 0

N.S.

1 0.84 0.52 1.10 0.57 0.76 0.00 0.00 0.00

time (sec)

N/A 0.227 0.069 14.742 0.194 0.252 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 103 97 973 0 353 0 0 0

N.S.

1 0.93 0.87 8.77 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.280 0.245 0.351 0.000 0.269 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 82 82 664 0 285 0 0 0

N.S.

1 0.94 0.94 7.63 0.00 3.28 0.00 0.00 0.00

time (sec)

N/A 0.255 0.169 0.287 0.000 0.273 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 66 66 402 0 231 0 0 0

N.S.

1 0.97 0.97 5.91 0.00 3.40 0.00 0.00 0.00

time (sec)

N/A 0.231 0.111 0.243 0.000 0.258 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 43 113 0 159 0 39 39

N.S.

1 1.00 1.10 2.90 0.00 4.08 0.00 1.00 1.00

time (sec)

N/A 0.185 0.067 0.198 0.000 0.266 0.000 0.275 8.383

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 99 90 658 0 333 0 0 0

N.S.

1 1.01 0.92 6.71 0.00 3.40 0.00 0.00 0.00

time (sec)

N/A 0.306 0.216 0.253 0.000 0.283 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 129 115 958 0 429 0 0 0

N.S.

1 1.02 0.91 7.60 0.00 3.40 0.00 0.00 0.00

time (sec)

N/A 0.348 0.357 0.292 0.000 0.292 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 158 147 1300 0 522 0 0 0

N.S.

1 0.96 0.90 7.93 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.394 0.317 0.373 0.000 0.279 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 329 340 280 0 3481 0 0 0

N.S.

1 0.93 0.96 0.79 0.00 9.86 0.00 0.00 0.00

time (sec)

N/A 0.543 0.703 1.036 0.000 0.403 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

610 533 526 260 0 2461 0 0 0

N.S.

1 0.87 0.86 0.43 0.00 4.03 0.00 0.00 0.00

time (sec)

N/A 0.959 0.639 0.700 0.000 0.347 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 167 145 114 0 801 0 1037 0

N.S.

1 0.99 0.86 0.67 0.00 4.74 0.00 6.14 0.00

time (sec)

N/A 0.294 0.294 0.369 0.000 0.289 0.000 0.677 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 206 127 268 0 1229 0 0 0

N.S.

1 1.00 0.62 1.31 0.00 6.00 0.00 0.00 0.00

time (sec)

N/A 0.389 0.224 0.530 0.000 0.298 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

699 576 127 534 0 3155 0 0 0

N.S.

1 0.82 0.18 0.76 0.00 4.51 0.00 0.00 0.00

time (sec)

N/A 0.989 0.176 1.044 0.000 0.369 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 372 127 630 0 4375 0 0 0

N.S.

1 0.90 0.31 1.52 0.00 10.57 0.00 0.00 0.00

time (sec)

N/A 0.624 0.170 1.543 0.000 0.436 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 149 265 0 0 0 0 0 0

N.S.

1 1.06 1.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.270 0.549 0.000 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 144 263 0 0 0 0 0 0

N.S.

1 1.06 1.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 0.487 0.000 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 133 261 0 0 0 0 0 0

N.S.

1 1.07 2.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.456 0.000 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 75 72 397 0 259 0 0 224

N.S.

1 1.01 0.97 5.36 0.00 3.50 0.00 0.00 3.03

time (sec)

N/A 0.252 0.158 0.192 0.000 0.285 0.000 0.000 8.493

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 151 240 0 0 0 0 0 0

N.S.

1 1.06 1.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.251 0.375 0.000 0.000 0.000 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 150 258 0 0 0 0 0 0

N.S.

1 1.07 1.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.387 0.000 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 365 0 0 0 0 0 0

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.609 0.000 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 366 0 0 0 0 0 0

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.566 0.000 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 364 0 0 0 0 0 0

N.S.

1 1.00 2.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.509 0.000 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 351 0 0 0 0 0 0

N.S.

1 1.00 2.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.512 0.000 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 115 113 125 0 658 0 0 0

N.S.

1 0.97 0.95 1.05 0.00 5.53 0.00 0.00 0.00

time (sec)

N/A 0.292 0.280 0.115 0.000 0.289 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 365 0 0 0 0 0 0

N.S.

1 1.00 2.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.482 0.000 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 365 0 0 0 0 0 0

N.S.

1 1.00 2.42 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.492 0.000 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 469 0 0 0 0 0 0

N.S.

1 1.00 3.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 1.105 0.000 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 475 0 0 0 0 0 0

N.S.

1 1.00 3.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 1.050 0.000 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 471 0 0 0 0 0 0

N.S.

1 1.00 3.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.291 1.054 0.000 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 140 466 0 0 0 0 0 0

N.S.

1 1.00 3.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.298 1.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 177 159 209 0 827 0 0 0

N.S.

1 1.02 0.92 1.21 0.00 4.78 0.00 0.00 0.00

time (sec)

N/A 0.385 0.627 0.088 0.000 0.434 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 477 0 0 0 0 0 0

N.S.

1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.975 0.000 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 471 0 0 0 0 0 0

N.S.

1 1.00 3.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.971 0.000 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.205 0.000 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 0.157 0.000 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 166 0 0 0 0 0 0

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.121 0.000 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

47 47 46 0 0 148 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 3.15 0.00 0.00 0.00

time (sec)

N/A 0.189 0.136 0.000 0.000 0.252 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 173 0 0 0 0 0 0

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 0.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 175 0 0 0 0 0 0

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 0

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 0.652 0.000 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 0

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 0.678 0.000 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 0

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 0.626 0.000 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 142 384 0 0 0 0 0 0

N.S.

1 1.00 2.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.703 0.000 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 96 98 0 0 449 0 0 0

N.S.

1 0.98 1.00 0.00 0.00 4.58 0.00 0.00 0.00

time (sec)

N/A 0.248 0.655 0.000 0.000 0.338 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 395 0 0 0 0 0 0

N.S.

1 1.00 2.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 0.603 0.000 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 399 0 0 0 0 0 0

N.S.

1 1.00 2.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 0.609 0.000 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B B B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

182 182 137 3765 273 2303 68491 25656 1734

N.S.

1 1.00 0.75 20.69 1.50 12.65 376.32 140.97 9.53

time (sec)

N/A 0.379 0.560 2.555 0.263 0.330 65.900 0.488 9.427

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B B B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

117 117 86 1032 152 706 12323 5454 543

N.S.

1 1.00 0.74 8.82 1.30 6.03 105.32 46.62 4.64

time (sec)

N/A 0.278 0.162 0.671 0.232 0.308 16.765 0.330 9.138

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B B B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

58 58 41 172 65 142 1096 557 83

N.S.

1 1.00 0.71 2.97 1.12 2.45 18.90 9.60 1.43

time (sec)

N/A 0.203 0.097 0.160 0.216 0.283 3.362 0.281 8.933

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

175 175 307 0 0 0 0 0 0

N.S.

1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.313 0.819 0.000 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

328 314 1890 0 0 0 0 0 0

N.S.

1 0.96 5.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.730 4.409 0.000 0.000 0.000 0.000 0.000 0.000